منابع مشابه
The Wildfire Challenge Problem
We pose as a challenge to the verification community the problem of finding errors in the specification of a complicated cache-coherence protocol. It specifies a simplified version of the protocol used in an actual multiprocessor computer, except with one error deliberately introduced and another introduced by accident. The protocol and the memory model it is supposed to implement are described...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولthe algorithm for solving the inverse numerical range problem
برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.
15 صفحه اولThe worldwide problem of lead in petrol.
The use of lead as a petrol additive has been a catastrophe for public health. Leaded petrol has caused more exposure to lead than any other source worldwide. By contaminating air, dust, soil, drinkingwater and food crops, it has caused harmfully high human blood lead levels around the world, especially in children (1). Tetraethyllead was first added to petrol in 1922, to improve engine perform...
متن کاملThe nursing shortage: a worldwide problem.
A worldwide shortage of nurses has been acknowledged by the multidisciplinary Global Advisory Group of the World Health Organization. The shortage is caused by an increased demand for nurses, while fewer people are choosing nursing as a profession and the current nurses worldwide are aging. The shortage applies to nurses in practice as well as the nurse faculty who teach students. The inter-cou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ecological Applications
سال: 2013
ISSN: 1051-0761
DOI: 10.1890/10-2213.1